This is the artifact of the paper "Recursive State Machine Guided Graph Folding for Context-Free Language Reachability" accepted to PLDI 2023. The artifact is packaged as a Docker image "gf.tar.gz", which is to reproduce the experiment results of the paper. Please see README.pdf for detailed usage of the artifact
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact for the paper "Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing"
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
This is the artifact of the paper "Taming Transitive Redundancy for Context-Free Reachability" accep...
This is the research artifact for my MSc Thesis 'Efficient Execution of User-Provided Graph Algorith...
This zip file contains a Docker image. Please see https://github.com/sdingcn/mutual-refinement for i...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact for the PLDI 23 submission "Abstract Interpretation of Fixpoint Iterators with Applications...
This is the artifact of the PLDI 2023 article "Architecture-Preserving Provable Repair of Deep Neura...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
The artifact for the paper "Exploiting the Sparseness of Control-flow and Call Graphs for Efficient ...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact for the paper "Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing"
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
This is the artifact of the paper "Taming Transitive Redundancy for Context-Free Reachability" accep...
This is the research artifact for my MSc Thesis 'Efficient Execution of User-Provided Graph Algorith...
This zip file contains a Docker image. Please see https://github.com/sdingcn/mutual-refinement for i...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact for the PLDI 23 submission "Abstract Interpretation of Fixpoint Iterators with Applications...
This is the artifact of the PLDI 2023 article "Architecture-Preserving Provable Repair of Deep Neura...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
The artifact for the paper "Exploiting the Sparseness of Control-flow and Call Graphs for Efficient ...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact for the paper "Glign: Taming Misaligned Graph Traversals in Concurrent Graph Processing"
Artifact for the paper "Exact Recursive Probabilistic Programming". After downloading, run with su...
DOI
Add to ORKG